rel\_plus($T$; $R$)($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$n$:$\mathbb{N}^{+}$. ($x$ rel\_exp($T$; $R$; $n$) $y$)